nested quantifiers problems

welcome to shbcf.ru